x11: Set GdkDeviceTool on motion/button events
authorCarlos Garnacho <carlosg@gnome.org>
Tue, 6 Jan 2015 13:57:21 +0000 (14:57 +0100)
committerCarlos Garnacho <carlosg@gnome.org>
Wed, 6 Apr 2016 13:43:29 +0000 (15:43 +0200)
commit9a81b6595942e6a0d34e489450da7dcdf0054e7e
treec9c390f92ed2ef177e63c41dda48d15b3bc7e598
parent0287ec7e89a831ce014386eff4abe9497eaa8a5c
x11: Set GdkDeviceTool on motion/button events

The last known tool from the device is used here. If no tool is known,
the event will just have a NULL pointer there.
gdk/x11/gdkdevicemanager-xi2.c